ReP USP - Resultado da busca

Tese (Doutorado)
Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências (2013)
Sousa, Thiago Carvalho de; Silva, Paulo Sérgio Muniz (Orientador)
Unidade: EP
Subjects: DESENVOLVIMENTO DE SOFTWARE, UML
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUSA, Thiago Carvalho de. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências. 2013. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/. Acesso em: 01 maio 2024.
APA
Sousa, T. C. de. (2013). Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/
NLM
Sousa TC de. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências [Internet]. 2013 ;[citado 2024 maio 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/
Vancouver
Sousa TC de. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências [Internet]. 2013 ;[citado 2024 maio 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/
Artigo de periodico
A Practical Event-B Refinement Method based on a UML-driven Development Process (2012)
Silva, Paulo Sérgio Muniz; Sousa, Thiago C. de; Snook, Colin F.
Source: Lecture Notes in Computer Science. Unidade: EP
Assunto: ENGENHARIA ELÉTRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Sérgio Muniz e SOUSA, Thiago C. de e SNOOK, Colin F. A Practical Event-B Refinement Method based on a UML-driven Development Process. Lecture Notes in Computer Science, p. 357-360, 2012Tradução . . Disponível em: https://doi.org/10.1007/978-3-642-30885-7_31. Acesso em: 01 maio 2024.
APA
Silva, P. S. M., Sousa, T. C. de, & Snook, C. F. (2012). A Practical Event-B Refinement Method based on a UML-driven Development Process. Lecture Notes in Computer Science, 357-360. doi:10.1007/978-3-642-30885-7_31
NLM
Silva PSM, Sousa TC de, Snook CF. A Practical Event-B Refinement Method based on a UML-driven Development Process [Internet]. Lecture Notes in Computer Science. 2012 ; 357-360.[citado 2024 maio 01 ] Available from: https://doi.org/10.1007/978-3-642-30885-7_31
Vancouver
Silva PSM, Sousa TC de, Snook CF. A Practical Event-B Refinement Method based on a UML-driven Development Process [Internet]. Lecture Notes in Computer Science. 2012 ; 357-360.[citado 2024 maio 01 ] Available from: https://doi.org/10.1007/978-3-642-30885-7_31
Tese (Doutorado)
Transformação de um modelo de empresa em um modelo de casos de uso seguindo os conceitos de engenharia dirigida por modelos (2011)
Siqueira, Fábio Levy ; Silva, Paulo Sérgio Muniz (Orientador)
Unidade: EP
Subjects: ENGENHARIA DE REQUISITOS, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIQUEIRA, Fábio Levy. Transformação de um modelo de empresa em um modelo de casos de uso seguindo os conceitos de engenharia dirigida por modelos. 2011. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-02072012-165730/. Acesso em: 01 maio 2024.
APA
Siqueira, F. L. (2011). Transformação de um modelo de empresa em um modelo de casos de uso seguindo os conceitos de engenharia dirigida por modelos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-02072012-165730/
NLM
Siqueira FL. Transformação de um modelo de empresa em um modelo de casos de uso seguindo os conceitos de engenharia dirigida por modelos [Internet]. 2011 ;[citado 2024 maio 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-02072012-165730/
Vancouver
Siqueira FL. Transformação de um modelo de empresa em um modelo de casos de uso seguindo os conceitos de engenharia dirigida por modelos [Internet]. 2011 ;[citado 2024 maio 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-02072012-165730/
Artigo de periodico
A proposal forextending UML-B to support a conceptual model (2011)
Silva, Paulo Sérgio Muniz; Sousa, Thiago C. de; Snook, Colin F.
Source: Innovations in Systems and Software Engineering. Unidade: EP
Assunto: ENGENHARIA ELÉTRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Sérgio Muniz e SOUSA, Thiago C. de e SNOOK, Colin F. A proposal forextending UML-B to support a conceptual model. Innovations in Systems and Software Engineering, n. 4, p. 293-301, 2011Tradução . . Disponível em: https://doi.org/10.1007/s11334-011-0169-9. Acesso em: 01 maio 2024.
APA
Silva, P. S. M., Sousa, T. C. de, & Snook, C. F. (2011). A proposal forextending UML-B to support a conceptual model. Innovations in Systems and Software Engineering, ( 4), 293-301. doi:10.1007/s11334-011-0169-9
NLM
Silva PSM, Sousa TC de, Snook CF. A proposal forextending UML-B to support a conceptual model [Internet]. Innovations in Systems and Software Engineering. 2011 ;( 4): 293-301.[citado 2024 maio 01 ] Available from: https://doi.org/10.1007/s11334-011-0169-9
Vancouver
Silva PSM, Sousa TC de, Snook CF. A proposal forextending UML-B to support a conceptual model [Internet]. Innovations in Systems and Software Engineering. 2011 ;( 4): 293-301.[citado 2024 maio 01 ] Available from: https://doi.org/10.1007/s11334-011-0169-9
Dissertação (Mestrado)
Análise de disponibilidade em sistemas de software na Web (2009)
Vasconcellos Neto, Oswaldo Cabral de; Silva, Paulo Sérgio Muniz (Orientador)
Unidade: EP
Subjects: ARQUITETURA DE SOFTWARE, ENGENHARIA DE SOFTWARE, QUALIDADE DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VASCONCELLOS NETO, Oswaldo Cabral de. Análise de disponibilidade em sistemas de software na Web. 2009. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2009. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11082010-153948/. Acesso em: 01 maio 2024.
APA
Vasconcellos Neto, O. C. de. (2009). Análise de disponibilidade em sistemas de software na Web (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11082010-153948/
NLM
Vasconcellos Neto OC de. Análise de disponibilidade em sistemas de software na Web [Internet]. 2009 ;[citado 2024 maio 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11082010-153948/
Vancouver
Vasconcellos Neto OC de. Análise de disponibilidade em sistemas de software na Web [Internet]. 2009 ;[citado 2024 maio 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11082010-153948/
Dissertação (Mestrado)
Objetos adaptativos: aplicação da tecnologia adaptativa à orientação a objetos (2007)
Doi, Fabrício; Silva, Paulo Sérgio Muniz (Orientador)
Unidade: EP
Subjects: PROGRAMAÇÃO ORIENTADA A OBJETOS, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DOI, Fabrício. Objetos adaptativos: aplicação da tecnologia adaptativa à orientação a objetos. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-09012008-095135/. Acesso em: 01 maio 2024.
APA
Doi, F. (2007). Objetos adaptativos: aplicação da tecnologia adaptativa à orientação a objetos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-09012008-095135/
NLM
Doi F. Objetos adaptativos: aplicação da tecnologia adaptativa à orientação a objetos [Internet]. 2007 ;[citado 2024 maio 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-09012008-095135/
Vancouver
Doi F. Objetos adaptativos: aplicação da tecnologia adaptativa à orientação a objetos [Internet]. 2007 ;[citado 2024 maio 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-09012008-095135/
Dissertação (Mestrado)
Transformações e mapeamentos da MDA e sua implementação em três ferramentas (2007)
Caliari, Giuliano Luz Pigatti; Silva, Paulo Sérgio Muniz (Orientador)
Unidade: EP
Subjects: ENGENHARIA DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CALIARI, Giuliano Luz Pigatti. Transformações e mapeamentos da MDA e sua implementação em três ferramentas. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012008-103612/. Acesso em: 01 maio 2024.
APA
Caliari, G. L. P. (2007). Transformações e mapeamentos da MDA e sua implementação em três ferramentas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012008-103612/
NLM
Caliari GLP. Transformações e mapeamentos da MDA e sua implementação em três ferramentas [Internet]. 2007 ;[citado 2024 maio 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012008-103612/
Vancouver
Caliari GLP. Transformações e mapeamentos da MDA e sua implementação em três ferramentas [Internet]. 2007 ;[citado 2024 maio 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012008-103612/
Dissertação (Mestrado)
Aplicação da técnica de tecelagem de modelos na transformação de modelos na MDA (2007)
Mignon, Alexandre dos Santos; Silva, Paulo Sérgio Muniz (Orientador)
Unidade: EP
Assunto: DESENVOLVIMENTO DE SOFTWARE (MODELOS)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIGNON, Alexandre dos Santos. Aplicação da técnica de tecelagem de modelos na transformação de modelos na MDA. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-25062007-170434/. Acesso em: 01 maio 2024.
APA
Mignon, A. dos S. (2007). Aplicação da técnica de tecelagem de modelos na transformação de modelos na MDA (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-25062007-170434/
NLM
Mignon A dos S. Aplicação da técnica de tecelagem de modelos na transformação de modelos na MDA [Internet]. 2007 ;[citado 2024 maio 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-25062007-170434/
Vancouver
Mignon A dos S. Aplicação da técnica de tecelagem de modelos na transformação de modelos na MDA [Internet]. 2007 ;[citado 2024 maio 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-25062007-170434/
Dissertação (Mestrado)
Verificação formal de sistemas modelados em estados finitos (2006)
Ferreira, Nelson França Guimarães; Silva, Paulo Sérgio Muniz (Orientador)
Unidade: EP
Subjects: AMBIENTES DE PROGRAMAÇÃO, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERREIRA, Nelson França Guimarães. Verificação formal de sistemas modelados em estados finitos. 2006. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2006. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-134100/. Acesso em: 01 maio 2024.
APA
Ferreira, N. F. G. (2006). Verificação formal de sistemas modelados em estados finitos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-134100/
NLM
Ferreira NFG. Verificação formal de sistemas modelados em estados finitos [Internet]. 2006 ;[citado 2024 maio 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-134100/
Vancouver
Ferreira NFG. Verificação formal de sistemas modelados em estados finitos [Internet]. 2006 ;[citado 2024 maio 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-134100/
Dissertação (Mestrado)
O desenvolvimento distribuído de software: características e recomendações para a gerência de projetos (2005)
Siqueira, Fábio Levy ; Silva, Paulo Sérgio Muniz (Orientador)
Unidade: EP
Subjects: DESENVOLVIMENTO DE SOFTWARE, GESTÃO DE PROJETOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIQUEIRA, Fábio Levy. O desenvolvimento distribuído de software: características e recomendações para a gerência de projetos. 2005. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2005. . Acesso em: 01 maio 2024.
APA
Siqueira, F. L. (2005). O desenvolvimento distribuído de software: características e recomendações para a gerência de projetos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo.
NLM
Siqueira FL. O desenvolvimento distribuído de software: características e recomendações para a gerência de projetos. 2005 ;[citado 2024 maio 01 ]
Vancouver
Siqueira FL. O desenvolvimento distribuído de software: características e recomendações para a gerência de projetos. 2005 ;[citado 2024 maio 01 ]
Tese (Doutorado)
Análise dos requisitos de software em uma estrutura de intervalos de tempo (1998)
Silva, Paulo Sérgio Muniz; José Neto, João (Orientador)
Unidade: EP
Assunto: ENGENHARIA ELÉTRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Sérgio Muniz. Análise dos requisitos de software em uma estrutura de intervalos de tempo. 1998. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1998. . Acesso em: 01 maio 2024.
APA
Silva, P. S. M. (1998). Análise dos requisitos de software em uma estrutura de intervalos de tempo (Tese (Doutorado). Universidade de São Paulo, São Paulo.
NLM
Silva PSM. Análise dos requisitos de software em uma estrutura de intervalos de tempo. 1998 ;[citado 2024 maio 01 ]
Vancouver
Silva PSM. Análise dos requisitos de software em uma estrutura de intervalos de tempo. 1998 ;[citado 2024 maio 01 ]
Dissertação (Mestrado)
Ferramenta para execucao simulada de especificacoes de software (1992)
Silva, Paulo Sérgio Muniz; Massola, Antônio Marcos de Aguirra (Orientador)
Unidade: EP
Assunto: ENGENHARIA ELÉTRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Sérgio Muniz. Ferramenta para execucao simulada de especificacoes de software. 1992. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1992. . Acesso em: 01 maio 2024.
APA
Silva, P. S. M. (1992). Ferramenta para execucao simulada de especificacoes de software (Dissertação (Mestrado). Universidade de São Paulo, São Paulo.
NLM
Silva PSM. Ferramenta para execucao simulada de especificacoes de software. 1992 ;[citado 2024 maio 01 ]
Vancouver
Silva PSM. Ferramenta para execucao simulada de especificacoes de software. 1992 ;[citado 2024 maio 01 ]
Artigo de periodico
Sistema de software para controle de tráfego urbano (1988)
Ferreira, Maria Alice Grigas Varella; Silva, Paulo Sérgio Muniz; Camargo Júnior, João Batista
Source: Anais Epusp. Serie B: Engenharia de Eletricidade. Unidade: EP
Subjects: CONTROLE DE TRÁFEGO, ESPAÇO URBANO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERREIRA, Maria Alice Grigas Varella e SILVA, Paulo Sérgio Muniz e CAMARGO JÚNIOR, João Batista. Sistema de software para controle de tráfego urbano. Anais Epusp. Serie B: Engenharia de Eletricidade, v. 1 , p. 683-96, 1988Tradução . . Acesso em: 01 maio 2024.
APA
Ferreira, M. A. G. V., Silva, P. S. M., & Camargo Júnior, J. B. (1988). Sistema de software para controle de tráfego urbano. Anais Epusp. Serie B: Engenharia de Eletricidade, 1 , 683-96.
NLM
Ferreira MAGV, Silva PSM, Camargo Júnior JB. Sistema de software para controle de tráfego urbano. Anais Epusp. Serie B: Engenharia de Eletricidade. 1988 ;1 683-96.[citado 2024 maio 01 ]
Vancouver
Ferreira MAGV, Silva PSM, Camargo Júnior JB. Sistema de software para controle de tráfego urbano. Anais Epusp. Serie B: Engenharia de Eletricidade. 1988 ;1 683-96.[citado 2024 maio 01 ]
Trabalho de evento
Sistema de software para controle de tráfego urbano (1987)
Silva, Paulo Sérgio Muniz; Camargo Júnior, João Batista ; Ferreira, Maria Alice Grigas Varella
Source: Anais. Conference titles: Congresso Nacional de Transportes Publicos. Unidade: EP
Subjects: SOFTWARES, CONTROLE DE TRÁFEGO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Sérgio Muniz e CAMARGO JÚNIOR, João Batista e FERREIRA, Maria Alice Grigas Varella. Sistema de software para controle de tráfego urbano. 1987, Anais.. Salvador: Antp, 1987. . Acesso em: 01 maio 2024.
APA
Silva, P. S. M., Camargo Júnior, J. B., & Ferreira, M. A. G. V. (1987). Sistema de software para controle de tráfego urbano. In Anais. Salvador: Antp.
NLM
Silva PSM, Camargo Júnior JB, Ferreira MAGV. Sistema de software para controle de tráfego urbano. Anais. 1987 ;[citado 2024 maio 01 ]
Vancouver
Silva PSM, Camargo Júnior JB, Ferreira MAGV. Sistema de software para controle de tráfego urbano. Anais. 1987 ;[citado 2024 maio 01 ]

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects